Hypersubstitutions in Orthomodular Lattices
نویسندگان
چکیده
It is shown that in the variety of orthomodular lattices every hypersubstitution respecting all absorption laws either leaves the lattice operations unchanged or interchanges join and meet. Further, in a variety of lattices with an involutory antiautomorphism a semigroup generated by three involutory hypersubstitutions is described.
منابع مشابه
Orthomodular lattices with fully nontrivial commutators
An orthomodular lattice L is said to have fully nontrivial commutator if the commutator of any pair x, y ∈ L is different from zero. In this note we consider the class of all orthomodular lattices with fully nontrivial commutators. We show that this class forms a quasivariety, we describe it in terms of quasiidentities and situate important types of orthomodular lattices (free lattices, Hilbert...
متن کاملThe Galois Correspondence between Subvariety Lattices and Monoids of Hypersubstitutions
Denecke and Reichel have described a method of studying the lattice of all varieties of a given type by using monoids of hypersubstitutions. In this paper we develop a Galois correspondence between monoids of hypersubstitutions of a given type and lattices of subvarieties of a given variety of that type. We then apply the results obtained to the lattice of varieties of bands (idempotent semigro...
متن کاملEpimorphisms in Certain Varieties of Algebras
We prove a lemma which, under restrictive conditions, shows that epimorphisms in V are surjective if this is true for epimorphisms from irreducible members of V . This lemma is applied to varieties of orthomodular lattices which are generated by orthomodular lattices of bounded height, and to varieties of orthomodular lattices which are generated by orthomodular lattices which are the horizonta...
متن کاملComplexity of Hypersubstitutions and Lattices of Varieties
Hypersubstitutions are mappings which map operation symbols to terms. The set of all hypersubstitutions of a given type forms a monoid with respect to the composition of operations. Together with a second binary operation, to be written as addition, the set of all hypersubstitutions of a given type forms a left-seminearring. Monoids and leftseminearrings of hypersubstitutions can be used to des...
متن کاملAmalgamation of Ortholattices
We show that the variety of ortholattices has the strong amalgamation property and that the variety of orthomodular lattices has the strong Boolean amalgamation property, i.e. that two orthomodular lattices can be strongly amalgamated over a common Boolean subalgebra. We give examples to show that the variety orthomodular lattices does not have the amalgamation property and that the variety of ...
متن کامل